扩展区间运算的变量值范围分析技术

doi:10.13190/jbupt.200903.36.wangyw

北京邮电大学学报 ›› 2009, Vol. 32 ›› Issue (3): 36-41.doi: 10.13190/jbupt.200903.36.wangyw

扩展区间运算的变量值范围分析技术

王雅文宫云战肖庆杨朝红

北京邮电大学网络与交换技术国家重点实验室网络与交换技术国家重点实验室北京邮电大学网络与交换技术国家重点实验室北京邮电大学网络与交换技术国家重点实验室；北京装甲兵工程学院信息工程系网络室

收稿日期:2008-09-27 修回日期:2009-02-22 出版日期:2009-06-28 发布日期:2009-06-28
通讯作者: 王雅文

Variable Range Analysis Based on Interval Computation

Ya-wen WANG yunzhan gong qing xiao Yang Zhao-Hong

Received:2008-09-27 Revised:2009-02-22 Online:2009-06-28 Published:2009-06-28
Contact: Ya-wen WANG

摘要/Abstract

摘要：

首先扩展了数值区间代数理论，首次提出区间集的概念并定义了区间集上的运算，接着定义了布尔型和引用型变量的取值区间及其运算，最后将区间运算应用于程序的静态分析中，提出了一种基于区间运算的变量取值范围分析方法(Range Analysis Based on Interval Computation, RABIC)。该方法一方面可以直接判定出程序中的不可达路径；另一方面可以应用于软件缺陷检测工具中，减少误报，提高检测结果的准确率。

关键词: 软件测试, 静态分析, 区间运算, 范围分析

Abstract:

The concept of interval-set is introduced firstly, and then the interval compu瑃ations on Boolean and reference types are given. Finally interval computations are applied in program static analysis, and an algorithm of Range Analysis Based on Interval Computation (RABIC) is presented. The advantage of this method was verified in experiments. On the one hand, it can detect infeasible paths in program, On the other hand, it can improve the testing efficiency of defects testing tool based on this method.

Key words: software testing, static analysis, interval computation, range analysis

王雅文宫云战肖庆杨朝红. 扩展区间运算的变量值范围分析技术[J]. 北京邮电大学学报, 2009, 32(3): 36-41.

Ya-wen WANG yunzhan gong qing xiao Yang Zhao-Hong. Variable Range Analysis Based on Interval Computation[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2009, 32(3): 36-41.

参考文献

[1] Alefeld G, Herzberger J. Introduction to interval computations[M]. New York: Academic Press, 1983.
[2] Hansen E. Topics in interval analysis[M]. Oxford: Clarendon Press, 1969.
[3] Harrison W H. Compiler analysis of the value ranges for variables[J]. IEEE Transaction on Software Engineering, 1977, SE-3(3): 243-250.
[4] 王志言, 刘椿年. 区间算术在软件测试中的应用[J]. 软件学报, 1998, 9(6): 438-443. Wang Zhiyan, Liu Chunnian. The application of interval computation in software testing[J]. Journal of Software, 1998, 9(6): 438-443.
[5] 李福川, 宋晓秋. 软件测试中的新方法——区间代数方法[J]. 计算机工程与设计, 2005, 26(10): 2576-2578. Li Fuchuan, Song Xiaoqiu. New method of software test—interval algebra method. Computer Engineering and Design, 2005, 26(10): 2576-2578.
[6] Ghodrat M A, Givargis T, Nicolau A. Expression equivalence checking using interval analysis[J]. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2006, 14(8): 830-842.
[7] 高传平, 谈利群, 宫云战, 等. 基于整型区间集的数组越界静态自动测试方法研究[J].小型微型计算机系统, 2006, 27(12): 2222-2227. Gao Chuanping, Tan Liqun, Gong Yunzhan, et al. Research on static and auto-testing method for array bounds based on integer range aggregation[J]. Journal of Chinese Computer Systems, 2006, 27(12): 2222-2227.
[8] 杨朝红,宫云战,肖庆,等. 基于软件缺陷模型的测试系统[J]. 北京邮电大学学报,2008,31(5): 1-4. Yang Zhaohong, Gong Yunzhan, Xiao Qing, et al. A defect model based testing system[J]. Journal of Beijing University of Posts and Telecommunications, 2008, 31(5): 1-4.
[9] Hovemeyer D, Pugh H. Finding more null pointer bugs, but not too many//Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. New York: ACM Press, 2007: 9-14.

扩展区间运算的变量值范围分析技术

Variable Range Analysis Based on Interval Computation

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 7

编辑推荐

Metrics

本文评价

[1]	王思琪, 缪思薇, 张小玲, 石志强, 卢新岱. 基于D-S证据理论的嵌入式固件Web代码静态漏洞检测技术[J]. 北京邮电大学学报, 2019, 42(5): 91-99.
[2]	李峰, 黄俊飞, 宫云战. 自动测试用例生成中非四则运算的等价变换方法[J]. 北京邮电大学学报, 2015, 38(4): 65-69.
[3]	王晓军, 闵丽娟. 面向路径测试的演化测试数据生成方法[J]. 北京邮电大学学报, 2013, 36(6): 18-22.
[4]	金大海,宫云战,杨朝红,肖庆. 函数后置信息在软件静态测试中的应用[J]. 北京邮电大学学报, 2010, 33(6): 103-106.
[5]	杨朝红1,2 , 宫云战2 , 肖庆1,2 , 王雅文2. 基于软件缺陷模型的测试系统[J]. 北京邮电大学学报, 2008, 31(5): 1-4.
[6]	罗红. 新型BSC系统软件测试平台[J]. 北京邮电大学学报, 2002, 25(3): 31-35.
[7]	罗红. 通信软件的测试与可测性设计[J]. 北京邮电大学学报, 1999, 22(3): 55-59.